0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Formal Methods – Bücher, LPs, CDs und mehr

    Ihre Suche nach "formal methods" ergab 42 Treffer

    Ansicht:
    : NASA Formal Methods, Buch

    NASA Formal Methods

    Lecture Notes in Computer Science -Band 14627

    This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    Artikel ist im Warenkorb
    : Formal Methods: Foundations and Applications, Buch

    Formal Methods: Foundations and Applications

    Lecture Notes in Computer Science -Band 14414

    This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers present…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    Artikel ist im Warenkorb
    : Software Engineering and Formal Methods, Buch

    Software Engineering and Formal Methods

    Lecture Notes in Computer Science -Band 14323

    This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 71,19*
    Artikel ist im Warenkorb
    : Formal Methods for Industrial Critical Systems, Buch

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science -Band 14290

    This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20 22, 2023. The 14 fu…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    : Formal Methods for an Informal World, Buch

    Formal Methods for an Informal World

    Lecture Notes in Computer Science -Band 13490

    This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 53,32*
    Artikel ist im Warenkorb
    : Theories of Programming and Formal Methods, Buch

    Theories of Programming and Formal Methods

    Lecture Notes in Computer Science -Band 14080

    This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 76,66*
    Artikel ist im Warenkorb
    : Applicable Formal Methods for Safe Industrial Products, Buch

    Applicable Formal Methods for Safe Industrial Products

    Lecture Notes in Computer Science -Band 14165

    This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    Guo-Qiang Zhang: Formal Methods for the Analysis of Biomedical Ontologies, Buch

    Guo-Qiang Zhang
    Formal Methods for the Analysis of Biomedical Ontologies

    Synthesis Lectures on Data, Semantics, and Knowledge

    The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almos…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,99*
    Artikel ist im Warenkorb
    Sebastian van Ravenswaay: Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel, Buch

    Sebastian van Ravenswaay
    Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel

    Rhetorik: Mit optimaler Kommunikation in jeder Situation glänzen und ganz einfach berufliche und private Ziele erreichen Präsentationen treiben Ihnen den Schweiß auf die Stirn und gehören nicht zu Ihren …

    sofort lieferbar
    Buch
    EUR 14,95*
    Artikel ist im Warenkorb
    Winfried Keuthage: Abnehmen mit der HAWEI-Methode, Buch

    Winfried Keuthage
    Abnehmen mit der HAWEI-Methode

    GU Einzeltitel Gesunde Ernährung

    Die Erfolgsformel zum Abnehmen: Hafer und Eiweiß Das Dream-Team aus Hafer und Eiweiß spielt die Hauptrolle in der einzigartigen HAWEI-Methode. Deshalb auch »HAWEI«: HAFER und EIWEISS. Entwickelt wurde das…

    sofort lieferbar
    Buch
    EUR 19,99*
    Artikel ist im Warenkorb
    Sven Lundershausen: Praxishandbuch Moderation, Buch

    Sven Lundershausen
    Praxishandbuch Moderation

    Edition Training aktuell

    Ein modernes Standardwerk zum Thema Moderation für Profis und Neueinsteiger. Es vermittelt die Techniken, Formate, Instrumente und Interventionen dieser effizienten Methode für die Gruppenarbeit, die län…

    lieferbar ab 15.12.2024.
    Buch
    EUR 49,90*
    Artikel ist im Warenkorb
    Coil: A Thousand Lights In A Darkened Room (Reissue), LP,LP

    Coil
    A Thousand Lights In A Darkened Room (Reissue)

    Coil präsentiert »A Thousand Lights In A Darkened Room«. Während der Übergangszeit, in der die Hauptverantwortlichen von Coil (Peter »Sleazy« Christopherson und John Balance) ihre kreative Richtung neu or…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    2 LPs
     
    EUR 32,99*
    Artikel ist im Warenkorb
    The Meteors: Psychobilly (Limited Edition) (Transparent Green Vinyl) (Secret Bonus Track), LP

    The Meteors
    Psychobilly (Limited Edition) (Transparent Green Vinyl) (Secret Bonus Track)

    Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

    lieferbar in mind. 4 Wochen
    LP
     
    EUR 29,99*
    Artikel ist im Warenkorb
    The Meteors: These Evil Things (Curcao Blue Vinyl) (Secret Bonus Track), LP

    The Meteors
    These Evil Things (Curcao Blue Vinyl) (Secret Bonus Track)

    Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

    lieferbar in mind. 4 Wochen
    LP
     
    EUR 29,99*
    Artikel ist im Warenkorb
    The Meteors: Hymns For The Hellbound (Transparent Red Vinyl) (Secret Bonus Track), LP

    The Meteors
    Hymns For The Hellbound (Transparent Red Vinyl) (Secret Bonus Track)

    Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

    lieferbar in mind. 4 Wochen
    LP
     
    EUR 29,99*
    Artikel ist im Warenkorb
    The Meteors: Hymns For The Hellbound (+ Secret Bonus Track), LP

    The Meteors
    Hymns For The Hellbound (+ Secret Bonus Track)

    Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

    lieferbar in mind. 4 Wochen
    LP
     
    EUR 28,99*
    Artikel ist im Warenkorb
    Wax Tailor: The Shadow Of Their Suns, LP,LP

    Wax Tailor
    The Shadow Of Their Suns

    Wax Tailor, mit richtigem Namen Jean-Christophe Le Saoût, ist einer der bekanntesten französischen Produzenten im Bereich Hip Hop und Trip Hop. 2001 startete er international durch, mit dem Remix von Brea…

    lieferbar innerhalb 2-3 Wochen
    2 LPs
     
    EUR 31,99*
    Artikel ist im Warenkorb
    Marco Bettner: Formelsammlung für die Sekundarstufe 1, Buch

    Marco Bettner
    Formelsammlung für die Sekundarstufe 1

    Alle wichtigen Formeln auf einen Blick - Ein Muss für den Mathematikunterricht in den Klassen 5 bis 10! Diese Formelsammlung enthält alle wichtigen Formeln des Faches Mathematik für die Klassen 5 b…

    lieferbar innerhalb 1-2 Wochen
    Buch
    EUR 6,99*
    Artikel ist im Warenkorb
    Alexandre Aja: Das neunte Leben des Louis Drax, DVD

    Das neunte Leben des Louis Drax

    Louis Drax ist kein normaler Junge. Jedes Jahr stößt ihm unter rätselhaften Umständen etwas Schreckliches zu, wobei er beinahe ums Leben kommt. Aus unerklärlichen Gründen hat er bisher jeden Unfall überle…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    DVD
     
    EUR 7,99*
    Artikel ist im Warenkorb
    Death Bells: New Signs Of Life, CD

    Death Bells
    New Signs Of Life

    Product Information After swapping hemispheres, Australian outfit Death Bells have found a new home in Los Angeles, emerging with a new album of fervent guitar-driven rock, stripped of gloom and punchin…

    lieferbar innerhalb 1-2 Wochen
    CD
     
    EUR 17,99*
    Artikel ist im Warenkorb
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH